Increasing the groupwise density number by c.c.c. forcing
نویسندگان
چکیده
We show that א2 ≤ b < g is consistent. This work is dedicated to James Baumgartner on the occasion of his
منابع مشابه
Forcing Isomorphism II
If T has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. forcing notion Q such that, in any Q-generic extension of the universe, there are non-isomorphic models M1 and M2 of T that can be forced isomorphic by a c.c.c. forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if ‘c.c.c.’ ...
متن کاملThe Necessary Maximality Principle for c . c . c . forcing is equiconsistent with a weakly compact cardinal Joel
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing, denoted 2mpccc(R), asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already tr...
متن کاملThe Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing, denoted 2mpccc(R), asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already tr...
متن کاملSet Mapping Reflection
Could it be that the above questions have resisted solution because we haven’t tapped into the full strength of “proper?” Let us focus on the second question for a moment. Consider the following analogy. Recall that a forcing Q satisfies the countable chain condition (c.c.c.) if every uncountable collection of conditions in Q contains two compatible conditions. Similarly, a forcing Q satisfies ...
متن کاملThe Relative Consistency Of
We prove the consistency result from the title. By forcing we construct a model of g = ℵ1, b = cf(Sym(ω)) = ℵ2. We recall the definitions of the three cardinal characteristics in the title and the abstract. We write A ⊆ * B if A \ B is finite. We write f ≤ * g if f, g ∈ ω ω and {n : f (n) > g(n)} is finite. Definition 0.1. (1) A subset G of [ω] ω is called groupwise dense if – for all B ∈ G, A ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 149 شماره
صفحات -
تاریخ انتشار 2007